type T = { +[[foo]]: X };
